import sketch.GenTest;

import sketch.MethodChoice;

import sketch.OracleChoice;

import sketch.ValueChoice;

import sketch.generator.ValueGenerator;

import sketch.ounit.Values;
import sketch.subject.TreeMap;

import junit.framework.TestCase;

public class TreeMapTest extends TestCase {
	public void testTreeMap2() {
		TreeMap treemap = new TreeMap();
		treemap.put(10);
		treemap.put(3);
		treemap.put(5);
		assertEquals(treemap.containsKey(2), false);
		treemap.remove(3);
		treemap.remove(2);
		treemap.remove(1);
		treemap.remove(20);
	}

	public void testTreeMap3() {
		TreeMap treemap = new TreeMap();
		treemap.put(10);
		treemap.put(3);
		treemap.put(6);
		assertEquals(treemap.containsKey(2), false);
		treemap.remove(3);
		treemap.remove(2);
		treemap.remove(1);
		treemap.remove(20);
	}

	public void testTreeMap4() {
		TreeMap treemap = new TreeMap();
		treemap.put(10);
		treemap.put(3);
		treemap.put(5);
		treemap.put(5);
		assertEquals(treemap.containsKey(2), false);
		treemap.remove(3);
		treemap.remove(2);
		treemap.remove(1);
		treemap.remove(20);
	}

	public void testTreeMap5() {
		TreeMap treemap = new TreeMap();
		treemap.put(10);
		treemap.put(3);
		treemap.put(6);
		treemap.put(5);
		assertEquals(treemap.containsKey(2), false);
		treemap.remove(3);
		treemap.remove(2);
		treemap.remove(1);
		treemap.remove(20);
	}

	public void testTreeMap6() {
		TreeMap treemap = new TreeMap();
		treemap.put(10);
		treemap.put(3);
		treemap.put(5);
		treemap.put(6);
		assertEquals(treemap.containsKey(2), false);
		treemap.remove(3);
		treemap.remove(2);
		treemap.remove(1);
		treemap.remove(20);
	}

	public void testTreeMap7() {
		TreeMap treemap = new TreeMap();
		treemap.put(10);
		treemap.put(3);
		treemap.put(6);
		treemap.put(6);
		assertEquals(treemap.containsKey(2), false);
		treemap.remove(3);
		treemap.remove(2);
		treemap.remove(1);
		treemap.remove(20);
	}

}
